#ifndef LUCNX_PRINTK_H
#define LUCNX_PRINTK_H

#include <Lucnx/types.h>

size_t printk(const char *fmt, ...);
void pad_print(char *buf, int nr);
void putchk(char ch);

#endif